$\forall$$l$, $k$, ${\it tg}$, $f$, $n$:Top.
\\[0ex]msg{-}spec{-}links($k$ sends on $l$ with tag ${\it tg}$ [$s$,$v$.$f$($s$,$v$)], at marker $n$) $\sim$ [$l$]